Properties of Input - Consuming
نویسندگان
چکیده
منابع مشابه
Properties of Input-Consuming Derivations
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for inpu...
متن کاملPREDICTION OF NONLINEAR TIME HISTORY DEFLECTION OF SCALLOP DOMES BY NEURAL NETWORKS
This study deals with predicting nonlinear time history deflection of scallop domes subject to earthquake loading employing neural network technique. Scallop domes have alternate ridged and grooves that radiate from the centre. There are two main types of scallop domes, lattice and continuous, which the latticed type of scallop domes is considered in the present paper. Due to the large number o...
متن کاملInvestigation on Effect of Heat Input on the Microstructure and Mechanical Properties of Hadfield Steel Weld Joints in SMAW Process
In this investigation, the effect of heat input of SMAW process on the microstructure and mechanical properties of Hadfield steel weld joints was investigated. For this purpose, 4 annealed sheets with thickness 2 mm prepared from Hadfield steel and then welding applied by SMAW process with 6.75 and 11.25 kJ/mm heat input values. The evaluation of the microstructures of welding joints was condu...
متن کاملThe Influence of Heat-Input on Structural and Mechanical Properties of 2205 Duplex Stainless Steel
The influence of heat-input and pre-heat treatment on the structure, mechanical and corrosion behaviors of 2205 duplex stainless steel joint by means of GMAW process was the goal of this study. In this regards, the welding process was done using different heat input in the range of 0.6 to 1.4 kJ/mm and different pre-heating treatments in the range of 25 to 100 oC. The microstructural properties...
متن کامل